Элементарно об автоматическом доказательстве

Abstract: В этом выступлении, рассчитанном, прежде всего, на старшеклассников и младшекурсников, знакомых только с базовыми понятиями математической логики и основами программирования, я на игрушечном примере объясню основные понятия автоматического доказательства и почему автоматическое доказательство так важно для безопасного программирования. Может быть, мне не хватит одного занятия в полтора часа, но нужно ли будет продолжение — там посмотрим. В качестве «затравки» — ссылки на две свежие лекции на YouTube: 1.Terence Tao «Machine Assisted Proof» (https://www.youtube.com/watch?v=AayZuuDDKP0) 2.Lawrence C. Paulson «Formalising 21st-Century Mathematics» (https://www.youtube.com/watch?v=nxlpYp8bKdc)

RussianMathematics

Audience: undergraduates

Всероссийский математический кружок

Series comments: Zoom ID: 882 9437 0359 passcode: 184283